『Modern Compiler Implementation in ML. Cambridge, UK: Cambridge University Press』